Software Development / Case Study / Liquid State Machine / Code Generation / Automated Code Generation / UML Class Diagram / Automatic code generation / First Order Logic / Sequence Diagram / Source Code / Programming language / UML Class Diagram / Automatic code generation / First Order Logic / Sequence Diagram / Source Code / Programming language